ctm/convert_ctm.pl